$\forall$$M$:MsgA, $a$:Id, $s$:$M$.state. $M$.pre($a$,$s$) $\in$ $\mathbb{P}$